- first-order subroutine
- podprogram pierwszego rzędu

*English-Polish dictionary of Electronics and Computer Science.
2013.*

- first-order subroutine
- podprogram pierwszego rzędu

*English-Polish dictionary of Electronics and Computer Science.
2013.*

**Subroutine**— In computer science, a subroutine (function, method, procedure, or subprogram) is a portion of code within a larger program, which performs a specific task and can be relatively independent of the remaining code. The syntax of many programming… … Wikipedia**Z-order curve**— Not to be confused with Z curve or Z order. Four iterations of the Z order curve … Wikipedia**Z-order (curve)**— Z order, or Morton order, first proposed in 1966 by G. M. Morton, [citation|first=G. M.|last=Morton|title=A computer Oriented Geodetic Data Base; and a New Technique in File Sequencing|series=Technical Report|publisher=IBM Ltd.|location=Ottawa,… … Wikipedia**2-satisfiability**— In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia**P versus NP problem**— Unsolved problems in computer science Is P = NP ? … Wikipedia**P = NP problem**— The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… … Wikipedia**Turing machine**— For the test of artificial intelligence, see Turing test. For the instrumental rock band, see Turing Machine (band). Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine… … Wikipedia**Optimization (mathematics)**— In mathematics, the term optimization, or mathematical programming, refers to the study of problems in which one seeks to minimize or maximize a real function by systematically choosing the values of real or integer variables from within an… … Wikipedia**SNARK theorem prover**— SNARK, SRI s New Automated Reasoning Kit, is a theorem prover for multi sorted first order logic intended for applications in artificial intelligence and software engineering. SNARK s principal inference mechanisms are resolution and… … Wikipedia**Invocational media**— are communication technologies based on digital computers. Invocational media infrastructures assign names (or addresses) to given entities (e.g. web pages with URLs, variables in programming, disk sectors with file allocation tables), and… … Wikipedia**Interpreted language**— In computer programming an interpreted language is a programming language whose implementation often takes the form of an interpreter. Theoretically, any language may be compiled or interpreted, so this designation is applied purely because of… … Wikipedia